Wyniki
-
Closure Extended Double Stone Algebras
Lei-Bo Wang
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 69-82 -
An extension of Lesniewski-Curry's formal theory of syntactical categories adequate for the categorially open functors
Daniel V. Vanderveken
Bulletin of the Section of Logic , 4 /2 (1975) s. 78-79 -
Even tabular modal logics sometimes do not have independent base for admissible rules
Vladimir V. Rybakov
Bulletin of the Section of Logic , 24 /1 (1995) s. 37-40 -
Admissible rules for temporal logic LinTGrz
Julia V. Bezgacheva
Bulletin of the Section of Logic , 26 /2 (1997) s. 60-66 -
The structure of rigid frames of restricted depth
Vladimir V. Rybakov
Bulletin of the Section of Logic , 27 /4 (1998) s. 172-181 -
An explicit basis for rules admissible in modal system S4
Vladimir V. Rybakov
Bulletin of the Section of Logic , 28 /3 (1999) s. 135-144 -
A View of Logical Omniscience Problem
Vladimir V. Rybakov
Bulletin of the Section of Logic , 30 /4 (2001) s. 213-229 -
Unification in Common Knowledge Logics
Vladimir V. Rybakov
Bulletin of the Section of Logic , 31 /4 (2002) s. 207-215 -
Constructability in the impredicative theory of classes
Maria V. Marshall, Rolando Chuaqui
Bulletin of the Section of Logic , 7 /2 (1978) s. 93 -
Faces of monotonicity and wisdom formulas problem
Vladimir V. Rybakov, B. Fedorishin
Bulletin of the Section of Logic , 29 /4 (2000) s. 181-192 -
Combining Time and Knowledge, Semantic Approach
E. Calarado, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /1 (2005) s. 13-21 -
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics
V.V. Rimatski, Vladimir V. Rybakov
Bulletin of the Section of Logic , 34 /2 (2005) s. 93-99 -
Description of self-admissible quasi-characterizing inference rules
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 27 /4 (1998) s. 164-171 -
An essay on unification and inference rules for modal logics
Vladimir V. Rybakov, M. Terziler, C. Gencer
Bulletin of the Section of Logic , 28 /3 (1999) s. 145-158 -
A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic
M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova
Bulletin of the Section of Logic , 32 /4 (2003) s. 213-220 -
Free Modal Pseudocomplemented De Morgan Algebras
A. V. Figallo, Nora Oliva, Alicia Ziliani
Bulletin of the Section of Logic , 47 /2 (2018) s. 89-106 -
A Topological Approach to Tense LMnxm - Algebras
Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay
Bulletin of the Section of Logic , 49 /1 (2020) s. 13-51